логическая формализация

См. также в других словарях:

• ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

• ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …   Философская энциклопедия

• ФОРМАЛИЗАЦИЯ — способ выражения содержания совокупности знаний через опреленную форму знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это… …   Новейший философский словарь

• ФОРМАЛИЗАЦИЯ — (от лат. formalis предпочтение формы) англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории построение логической структуры, посредством к рой все… …   Энциклопедия социологии

• ФОРМАЛИЗАЦИЯ — способ выражения содержания совокупности знаний через опреленную форму знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это… …   Социология: Энциклопедия

• ФОРМАЛИЗАЦИЯ — метод семиотического анализа объектов любой природы, направленный на выявление формы. Дескриптивная Ф. (прямое описание, обозначение, именование) объектов с помощью терминов является простейшим видом Ф., вариантом которой в естественных языках… …   Современный философский словарь

• формализация — (от лат. forma вид, образ) отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соответствие некоторые устойчивые, хорошо обозримые и отождествимые материальные… …   Словарь терминов логики

• ФОРМАЛИЗАЦИЯ — (от лат. formalis предпочтение формы) англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории построение логической структуры, посредством к рой все… …   Толковый словарь по социологии

• семантика логическая —         СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… …   Энциклопедия эпистемологии и философии науки

• ВЕНСКИЙ (кружок) — немецкая философская и логическая школа так называемых неопозитивистов, опирающаяся на математическую логику, физику Эйнштейна и труды Рассела. Ее задача логическая формализация научных данных. Эта школа заявила о себе в 1929 г. брошюрой «Научное …   Философский словарь

• Грассман, Герман Гюнтер — Герман Гюнтер Грассман нем. Hermann Günther Grassmann …   Википедия